and control - PDFSEARCH.IO - Document Search Engine

and control
Results: 116613

#	Item
11	Multifonds Global Accounting Transform your fund administration activity with sophisticated workflow and production control techniques. Drive dramatic increases in operational efficiency via advanced global operating mod Add to Reading List Source URL: www.temenos.com Language: English - Date: 2018-04-16 08:36:06 Management accounting Accounting software Asset management Business process management Investment management
12	Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Software engineering Subroutines Computing Computer programming Programming paradigms Callback Network flow problem Event Data-flow analysis Control flow analysis Flow network Control flow graph
13	Job Description Compliance Officer, Investment Banking and Control Room Cormark Securities Inc. is a leading independent investment dealer focused on providing comprehensive coverage of Canadian listed companies to domes Add to Reading List Source URL: www.cormark.com Language: English - Date: 2018-08-09 11:38:15 Investment banking Regulatory compliance Compliance and ethics program Guidepoint
14	Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-10-10 04:10:19 Aircraft instruments Standards Covert channel Steganography ARINC 653 ARINC Verification Human behavior Technology User interface design Design
15	Experience with Z Developing a Control Program for a Radiation Therapy Machine Jonathan Jacky , Jonathan Unger, Michael Patrick and Ruedi Risler Radiation Oncology Box Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 18:58:56 Health Computing Medical physics Formal methods Theoretical computer science Therapy Information and communications technology Radiation therapy Z notation Computer Software
16	Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ † Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2014-12-14 14:47:16 Computational complexity theory Theory of computation IP Proof of knowledge NP Zero-knowledge proof Certificate Theoretical computer science Applied mathematics
17	Temporal Logic Control under Incomplete or Conflicting Information Georgios Fainekos, and Herbert G. Tanner Abstract— Temporal logic control methods have provided a viable path towards solving the single- and multi-rob Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2018-02-08 16:28:11 Temporal logic Algebraic structures Mathematics Logic Metaphysics Linear temporal logic Logic in computer science Computation tree logic Non-classical logic Model checking Many-valued logic Lattice
18	On the Co-Existence of Distributed and Centralized Routing Control-Planes Stefano Vissicchio UCLouvain Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:23 Routing protocols Computing Network architecture Data transmission Internet protocols Internet Standards Internet architecture OpenFlow Open Shortest Path First Enhanced Interior Gateway Routing Protocol Routing IS-IS
19	Formal Specication and Development of Control System Input/Output Jonathan Jacky Radiation Oncology Department RC-08 University of Washington Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 18:58:47 Computing Models of computation Software engineering Control engineering Cognition State Control theory Lookup table Variable Dependent and independent variables
20	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-04-25 05:07:53 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process

UPDATE